P is not prime mod P